perm filename TASKS.SET[W76,JMC] blob sn#198565 filedate 1976-01-24 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. Memo on what is obvious in set theory. RWW
C00003 ENDMK
CāŠ—;
1. Memo on what is obvious in set theory. RWW

2. Program for disassembling and reassembling proofs so they can be edited.

3. Declarations for arithmetic operators.

4. Proving that inductive definitions define sets.

5. A definition facility.

6. When can we determine syntactically that something is a set?